/Notes /Types

Family Polymorphism

Oct 22, 2020 | scala

Papers
- Family Polymorphism Erik Ernst 2001
- The expression problem, Scandinavian style Erik Ernst 2004
- Lightweight Family Polymorphism Atsushi Igarashi, Chieri Saito, Mirko Viroli 2005
- A Nominal Theory of Objects with Dependent Types Martin Odersky, Vincent Cremet, Christine R¨ockl, Matthias Zenger 2002?
- Family Genericity Erik Ernst 2006
- Revisiting Parametric Types and Virtual Classes Anders Bach Madsen, Erik Ernst 2010
- Familia: Unifying Interfaces, Type Classes, and Family Polymorphism YIZHOU ZHANG, ANDREW C. MYERS 2017
- The Essence of Nested Composition Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers 2018
- A Path To DOT: Formalizing Fully Path-Dependent Types MARIANNA RAPOPORT, ONDŘEJ LHOTÁK 2019
- Row and Bounded Polymorphism via Disjoint Polymorphism Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers 2020
Posts
- Abstract types vs generics ayvango 2012
- ...in Scala with family polymorphism 2020
Stephen Compall 2015-2017
- Type members are almost type parameters
- When are two methods alike?
- What happens if I forget the refinement?
- Type projection isn't that specific
- Nested existentials
- Values never change types
- To change types, change values
- It's existential on the inside
- Making internal state functional
- Avoiding refinement with dependent method types - ?
- Four ways to escape a cake
- There are more types than classes
[[TODO]] add mdoc to the repository